Numerical 'health check' for scientific codes: the CADNA approach
نویسندگان
چکیده
Scientific computation has unavoidable approximations built into its very fabric. One important source of error that is difficult to detect and control is round-off error propagation which originates from the use of finite precision arithmetic. We propose that there is a need to perform regular numerical ‘health checks’ on scientific codes in order to detect the cancerous effect of round-off error propagation. This is particularly important in scientific codes that are built on legacy software. We advocate the use of the CADNA library as a suitable numerical screening tool. We present a case study to illustrate the practical use of CADNA in scientific codes that are of interest to the Computer Physics Communications readership. In doing so we hope to stimulate a greater awareness of round-off error propagation and present a practical means by which it can be analyzed and managed. PACS: 02.60.-x; 02.60.Jh; 02.70.-c; 02.50.Ey.
منابع مشابه
Estimation of Round-Off Errors on Several Computer Architectures
Numerical validation of computed results in scienti c computation is always an essential problem as well on sequential architecture as on parallel architecture. The probabilistic approach is the only one that allows to estimate the round-o error propagation of the oating point arithmetic on computers. We begin by recalling the basics of the CESTAC method (Contrôle et Estimation STochastique des...
متن کاملCADNA: a library for estimating round-off error propagation
The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Sligh...
متن کاملCADNA_C: A version of CADNA for use with C or C++ programs
The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. The CADNA C version enables this estimation in C or C++ programs, while the previous version had been developed for Fortran programs. The CADNA C version has the same features as the previous one: with CADNA the numerical quality of any simulation program can be controlled. Furthermore by detec...
متن کاملStochastic Arithmetic in Multiprecision
Floating-point arithmetic precision is limited in length the IEEE single (respectively double) precision format is 32-bit (respectively 64-bit) long. Extended precision formats can be up to 128-bit long. However some problems require a longer floating-point format, because of round-off errors. Such problems are usually solved in arbitrary precision, but round-off errors still occur and must be ...
متن کاملOn Constructing Low-Density Parity-Check Codes
This thesis focuses on designing Low-Density Parity-Check (LDPC) codes for forward-error-correction. The target application is real-time multimedia communications over packet networks. We investigate two code design issues, which are important in the target application scenarios, designing LDPC codes with low decoding latency, and constructing capacity-approaching LDPC codes with very low error...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computer Physics Communications
دوره 176 شماره
صفحات -
تاریخ انتشار 2007